Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
71	To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus
72	Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:09 Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain
73	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
74	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
75	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
76	Motivation Overview Traces Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2016-01-12 05:36:12 Algebra Theoretical computer science Mathematics Logic in computer science Formal methods Models of computation Denotational semantics Semantics Causality Motivation Sheaf Trace
77	The Power Of Semantics \| Personal Protection Systems Add to Reading List Source URL: noquarterjkd.com Language: English - Date: 2010-06-02 14:33:42 Logic in computer science Self-defense Semantics Safety Logic Academia Philosophy
78	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
79	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query
80	CS264: Homework #1 Due by the beginning of class on Wednesday, October 1, 2014 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Turn in your solutions at htt Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-09-29 11:39:15 Computational complexity theory Mathematics Applied mathematics Packing problems Operations research Algorithm Mathematical logic Theoretical computer science Online algorithm Bin packing problem Sorting algorithm Knapsack problem

UPDATE